<?php

class MiniCMS_GUI_Manager {

    
}

?>